add_executable(7_1 7_1.cc)
add_executable(7_3 7_3.cc)
add_executable(7_7 7_7.cc)
add_executable(7_11 7_11.cc)
add_executable(7_13 7_13.cc)
add_executable(7_43 7_43.cc)